「ソフトウェアの基礎(Software Foundations)」シリーズ - pogi-log

「ソフトウェアの基礎(Software Foundations)」シリーズ

ソフトウェアの基礎(Software Foundations)シリーズ

ソフトウェアの基礎

Software Foundations

Logical Foundations

Programming Language Foundations

Verified Functional Algorithms

QuickChick: Property-Based Testing in Coq

Separation Logic Foundations

確認用

Q. ソフトウェアの基礎(Software Foundations)」シリーズ

調査用

Google.icon ソフトウェアの基礎(Software Foundations)シリーズ(日)

Google.icon Software foundations series(英)